On the Distributed Implementation of LOTOS
نویسندگان
چکیده
This paper presents an approach to the distributed implementation of multiple rendezvous, including dynamic process creation, as defined by the specification language LOTOS. The approach is based on a so-called activity tree which reflects the dynamic relationships between the active processes within the system, and a virtual ring algorithm for the distributed implementation of a set of rendezvous, which was originally developed for a static set of processes. A new dynamic ring establishment algorithm is presented which serves as a bridge between the activity tree and the virtual ring algorithm. When growing the activity tree, the algorithm establishes for each LOTOS gate a virtual ring over which the virtual ring algorithm is applied.
منابع مشابه
Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
In this paper, we propose an algorithm to convert a given structured LOTOS specification into an equivalent flattened model called synchronous EFSMs. The synchronous EFSMs model is an execution model for communication protocols and distributed systems where each system consists of concurrent EFSMs and a finite set of multi-rendezvous indications among their subsets. The EFSMs can be derived fro...
متن کاملDisjunction of LOTOS Specifications
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. The definition of, so called, implementation relations has made it possible also to use LOTOS as a specification technique for the design of such systems. These LOTOS based specification techniques usually (ab)use non-determinism to achieve implementation freedom. Unfortunat...
متن کاملImplementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be used in combination with multi-rendezvous among remote processes. A LOTOS specification with the assignment of each process to a node is implemented as a set of executable codes which run on the corresponding nodes coop...
متن کاملsubmitted to the Workshop on Formal Design Techniques for Real Time UML
The formal language LOTOS [1] describes distributed systems by the temporal ordering of interactions between architectural components named “process”. LOTOS supports composition operators for architectural design and process refinement, rendezvous communication, and a black-box d escription style. With its verification and testing framework based on Labelled Transition Systems, LOTOS helps buil...
متن کاملOn the use of specification styles for automated protocol implementation from LOTOS to C
Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformations from structured formal speciications, in LOTOS, to program code, in C. Particular speciication structures are referred to as speciication styles. The impl...
متن کامل